2021. Towards Mathematical Philosophy
پدیدآورنده : \ David Makinson, Jacek Malinowski, Heinrich Wansing Editors
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Logic, Symbolic and mathematical -- Congresses. ,Mathematics -- Philosophy -- Congresses. ,منطق ریاضی -- کنگره‌ها ,ریاضیات -- فلسفه -- کنگره ها
رده :
E-Book
,
2022. Towards an arithmetical logic :
پدیدآورنده : by Yvon Gauthier
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic, Symbolic and mathematical,Mathematics-- Philosophy
رده :
QA1-939
2023. Towards an arithmetical logic :
پدیدآورنده : Yvon Gauthier
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic, Symbolic and mathematical,Mathematics-- Philosophy
2024. Towards mathematical philosophy
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Logic, Symbolic and mathematical ; Congresses. ; Mathematics ; Philosophy ; Congresses. ;
2025. Towards mathematical philosophy : papers from the studia logica conference Trends in logic IV
پدیدآورنده : edited by David Makinson, Jacek Malinowski, Heinrich Wansing
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematics -- Philosophy
رده :
QA
9
.
A1S78
2006
2026. Towards mathematical philosophy: papers from the studia logica conference trends in logic IV
پدیدآورنده : Makinson, David.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematics-- Philosophy
رده :
QA
9
.
A1
.
M235
2009
2027. Towards mathematical philosophypapers from the Studia Logica Conference Trends in Logic IV
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematics-- Philosophy
رده :
QA
9
.
S88
2008
2028. Tracking Reason
پدیدآورنده : \ Jody Azzouni.
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Proof theory.,Logic, Symbolic and mathematical.,منطق ریاضی
رده :
QA9
.
54
.
A99T7
2006
2029. Tracking reason
پدیدآورنده : / Jody Azzouni
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Proof theory,Logic, Symbolic and mathematical,Electronic books. , local
رده :
E-BOOK
2030. Tracking reason
پدیدآورنده : / Jody Azzouni
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Proof theory,Logic, Symbolic and mathematical
رده :
QA9
.
54
.
A99
2006
2031. Tracking reason :
پدیدآورنده : / Jody Azzouni
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Proof theory,Logic, Symbolic and mathematical
رده :
E-BOOK
2032. Tracking reason: proof, consequence, and truth
پدیدآورنده : Azzouni, Jody.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Proof theory,، Logic, Symbolic and mathematical
رده :
QA
9
.
54
.
A99
2006
2033. Tracking reason : proof, consequence, and truth
پدیدآورنده : Azzouni, Jody, 4591-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Proof theory,، Logic, Symbolic and mathematical
رده :
QA
9
.
54
.
A99T7
2034. Tractarian semantics :
پدیدآورنده : Peter Carruthers
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Wittgenstein, Ludwig,1889-1951., Tractatus logico-philosophicus,Language and languages-- Philosophy,Logic, Symbolic and mathematical
رده :
B3376
.
W563
T73226
1989
2035. Tractarian semantics :finding sense in Wittgenstein's Tractatus
پدیدآورنده : Carruthers, Peter
کتابخانه: Library of Mofid University (Qom)
موضوع : ، Wittgenstein, Ludwig,9881-1591.Tractatus logico-philosophicus,، Logic, Symbolic and mathematical,Philosophy ، Language and languages
رده :
B3376
.
W563
T73226
1989
2036. Tractatus Logico-Philosophicus
پدیدآورنده : \ Ludwig Wittgenstein; translated by D.F. Pears and B.F. McGuinness; with an introduction by Bertrand Russell.
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Logic, Symbolic and mathematical.,Language and logic.,منطق ریاضی ,زبان و منطق
رده :
B3376
.
W56T73
2014
2037. Tractatus logico-philosophicus
پدیدآورنده : Wittgenstein, Ludwig, 9881-1591
کتابخانه: Library of Document Center and Great Islamic Encyclopedia Center (Tehran)
موضوع : ، Logic, Symbolic and mathematical,Philosophy ، Language and languages
رده :
B3376
.
W563T613
2001
2038. Tractatus logico-philosophicus
پدیدآورنده : Wittgenstein, Ludwig
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Logic, Symbolic and mathematical,Philosophy ، Language and languages
رده :
B
3376
.
W563
T7313
1996
2039. Tractatus logico-philosophicus
پدیدآورنده : Wittgenstein, Ludwig, 9881-1591
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Logic, Symbolic and mathematical,، Language and languages
رده :
B
3376
.
W563T7213
2040. Tractatus logico-philosophicus
پدیدآورنده : Wittgenstein, Ludwig
کتابخانه: Library of Mofid University (Qom)
موضوع : ، Logic, Symbolic and mathematical,Philosophy ، Language and languages
رده :
B3376
.
W563
T7313
2001
